pure lambda-calculus
纯 λ 演算
热门查询
- horseless adj. 无马的；不用马的；自行推进的
- bmc abbr. blockhouse monitor console 火箭导弹监测控制台
- dispose n. 处置；性情 vi. 处理；安排；（能够）决定 vt. 处理；处置；安排
- Rachael [女子名] 雷切尔 Rachel的变体
- tawny n. 黄褐色；茶色 adj. 黄褐色的；茶色的
- Gulliver n. 格利佛（《格利佛游记》的主人公）
- predictability n. 可预测性；可预言
- Ede n. (Ede)人名；(英)伊德；(德、法、匈、土、瑞典)埃德 abbr. 等效剂量效应；电子设计工程师
- Thackeray 撒克里(姓氏)
- wych [人名] [英格兰人姓氏] 威奇 Wich的变体
- Hollis [人名] [英格兰人姓氏] 霍利斯地貌名称，来源于中世纪英语，含义是“冬青”(holly); [地名] [美国] 霍利斯
- respiratory adj. 呼吸的
- goldberg n. <美俚>（尤指在黑人聚居区开店或雇用黑人的）犹太老板
- defaulter n. 缺席者；不履行者；违反军规者
- persimmon n. 柿子；柿子树
- bevel n. 斜角；斜面；[测] 斜角规 n. (Bevel)人名；(英)贝弗尔 adj. 成斜面的 vt. 使成斜角；使成斜面 vi. 成斜角；把切成或磨成斜边或斜角
- cathedral n. 大教堂
- centrist n. 中立派议员；中间派议员
- insufficiency n. 不足，不充分；机能不全；不适当
- currish adj. 野狗似的；下贱的；恶意的；爱吵闹的
